package lattice.traveler;

public class State {
	public VectorClock clock;   // vector clock of this state
	public Object data;			//  data relates to this state
}
